对于

取 $h_0 = h_{n+1} = 0$ 及充分小的 $h_i$, 使得

则有

证毕.